ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling ∗ 2 Sibin Mohan1, Frank Mueller1 , William Hawkins2 , Michael Root3 , Christopher Healy3 and David Whalley4

Source URL: www.cs.fsu.edu

• Computer programming
• Software engineering
• Worst-case execution time
• Formal methods
• Static timing analysis
• Compiler optimization
• Analysis
• Assembly language
• Infinite loop
• Real-time computing
• Programming language implementation
• Computing

Analysis of WCET in an experimental satellite software development∗ Jorge Garrido* , Daniel Brosnan* , Juan A. de la Puente* , Alejandro Alonso* , and Juan Zamorano* *

Source URL: www.dit.upm.es

• Real-time computing
• Worst-case execution time
• Visual programming languages
• Simulink
• LEON
• Embedded system
• Computer hardware
• Electronics
• Computing

The Worst-Case Execution Time Problem — Overview of Methods and Survey of Tools Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand, Rei

Source URL: www.cs.fsu.edu

Accurate and Efficient Identification of Worst-Case Execution Time for Multicore Processors: A Survey Hamid Mushtaq, Zaid Al-Ars, Koen Bertels Computer Engineering Laboratory Delft University of Technology Delft, the Net

Source URL: ce-publications.et.tudelft.nl

Towards Execution Time Estimation in Abstract Machine-Based Languages ∗ E. Mera 1 1 Complutense University of Madrid

Source URL: clip.dia.fi.upm.es

• Compiler construction
• Virtual machines
• Software optimization
• Bytecode
• Java bytecode
• Warren Abstract Machine
• Profiling
• Interpreter
• Worst-case execution time
• Computing
• Software
• Programming language implementation

What is a Timing Anomaly? Franck Cassez1 , René Rydhof Hansen∗2 , and Mads Chr. Olesen2 1 National ICT Australia Sydney, Australia

Source URL: people.cs.aau.dk

• Computing
• Cache
• Real-time computing
• Worst-case execution time
• CPU cache
• Instruction set
• Latency
• NOP
• Computer performance
• Computer architecture
• Central processing unit
• Computer hardware

Learning Bayesian Networks for Improved Instruction Cache Analysis Mark Bartlett, Iain Bate and James Cussens Department of Computer Science University of York Heslington, York, UK

Source URL: www.cs.york.ac.uk

• Computer hardware
• Computer architecture
• Central processing unit
• Bayesian network
• Networks
• CPU cache
• Worst-case execution time
• Graphical model
• Cache
• Statistics
• Bayesian statistics
• Statistical models

METAMOC: MODULAR EXECUTION TIME ANALYSIS USING MODEL CHECKING Andreas E. Dalsgaard1, Mads Chr. Olesen1, Martin Toft1, Ren´e R. Hansen1, Kim G. Larsen1 Abstract Safe and tight worst-case execution times (WCETs) are impor

Source URL: people.cs.aau.dk

• Central processing unit
• Instruction set architectures
• Classes of computers
• CPU cache
• Computer memory
• Worst-case execution time
• ARM9
• Cache
• Microarchitecture
• Computer architecture
• Computing
• Computer hardware

Ada 2005 for Mission-Critical Systems José F. Ruiz AdaCore 8 rue de MilanParis, France Phone: +16

Source URL: www.adacore.com

• Ada programming language
• Real-time computing
• Embedded systems
• Scheduling algorithms
• Ada
• Ravenscar profile
• Real-time operating systems
• SPARK
• Worst-case execution time
• Computing
• Software engineering
• Computer programming

Mixed Critical Earliest Deadline First Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga Verimag Research Report no TRSeptember 2012

Source URL: www-verimag.imag.fr

• Scheduling
• Operations research
• Computing
• Embedded systems
• Worst-case execution time
• Windows NT processor scheduling
• Real-time operating system
• Priority right
• Job scheduler
• Scheduling algorithms
• Real-time computing
• Technology